Optimal. Leaf size=67 \[ -\frac{1}{2} \sqrt{\pi } e^{-a} \sqrt{b} \text{Erf}\left (\frac{\sqrt{b}}{x}\right )-\frac{1}{2} \sqrt{\pi } e^a \sqrt{b} \text{Erfi}\left (\frac{\sqrt{b}}{x}\right )+x \sinh \left (a+\frac{b}{x^2}\right ) \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.0436817, antiderivative size = 67, normalized size of antiderivative = 1., number of steps used = 5, number of rules used = 5, integrand size = 8, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.625, Rules used = {5302, 5326, 5299, 2204, 2205} \[ -\frac{1}{2} \sqrt{\pi } e^{-a} \sqrt{b} \text{Erf}\left (\frac{\sqrt{b}}{x}\right )-\frac{1}{2} \sqrt{\pi } e^a \sqrt{b} \text{Erfi}\left (\frac{\sqrt{b}}{x}\right )+x \sinh \left (a+\frac{b}{x^2}\right ) \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 5302
Rule 5326
Rule 5299
Rule 2204
Rule 2205
Rubi steps
\begin{align*} \int \sinh \left (a+\frac{b}{x^2}\right ) \, dx &=-\operatorname{Subst}\left (\int \frac{\sinh \left (a+b x^2\right )}{x^2} \, dx,x,\frac{1}{x}\right )\\ &=x \sinh \left (a+\frac{b}{x^2}\right )-(2 b) \operatorname{Subst}\left (\int \cosh \left (a+b x^2\right ) \, dx,x,\frac{1}{x}\right )\\ &=x \sinh \left (a+\frac{b}{x^2}\right )-b \operatorname{Subst}\left (\int e^{-a-b x^2} \, dx,x,\frac{1}{x}\right )-b \operatorname{Subst}\left (\int e^{a+b x^2} \, dx,x,\frac{1}{x}\right )\\ &=-\frac{1}{2} \sqrt{b} e^{-a} \sqrt{\pi } \text{erf}\left (\frac{\sqrt{b}}{x}\right )-\frac{1}{2} \sqrt{b} e^a \sqrt{\pi } \text{erfi}\left (\frac{\sqrt{b}}{x}\right )+x \sinh \left (a+\frac{b}{x^2}\right )\\ \end{align*}
Mathematica [A] time = 0.0669879, size = 70, normalized size = 1.04 \[ -\frac{1}{2} \sqrt{\pi } \sqrt{b} \left ((\cosh (a)-\sinh (a)) \text{Erf}\left (\frac{\sqrt{b}}{x}\right )+(\sinh (a)+\cosh (a)) \text{Erfi}\left (\frac{\sqrt{b}}{x}\right )\right )+x \sinh (a) \cosh \left (\frac{b}{x^2}\right )+x \cosh (a) \sinh \left (\frac{b}{x^2}\right ) \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [A] time = 0.031, size = 70, normalized size = 1. \begin{align*} -{\frac{{{\rm e}^{-a}}\sqrt{\pi }}{2}\sqrt{b}{\it Erf} \left ({\frac{1}{x}\sqrt{b}} \right ) }-{\frac{{{\rm e}^{-a}}x}{2}{{\rm e}^{-{\frac{b}{{x}^{2}}}}}}+{\frac{{{\rm e}^{a}}x}{2}{{\rm e}^{{\frac{b}{{x}^{2}}}}}}-{\frac{{{\rm e}^{a}}b\sqrt{\pi }}{2}{\it Erf} \left ({\frac{1}{x}\sqrt{-b}} \right ){\frac{1}{\sqrt{-b}}}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [A] time = 1.2211, size = 96, normalized size = 1.43 \begin{align*} -\frac{1}{2} \, b{\left (\frac{\sqrt{\pi }{\left (\operatorname{erf}\left (\sqrt{\frac{b}{x^{2}}}\right ) - 1\right )} e^{\left (-a\right )}}{x \sqrt{\frac{b}{x^{2}}}} + \frac{\sqrt{\pi }{\left (\operatorname{erf}\left (\sqrt{-\frac{b}{x^{2}}}\right ) - 1\right )} e^{a}}{x \sqrt{-\frac{b}{x^{2}}}}\right )} + x \sinh \left (a + \frac{b}{x^{2}}\right ) \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [B] time = 1.78681, size = 606, normalized size = 9.04 \begin{align*} \frac{x \cosh \left (\frac{a x^{2} + b}{x^{2}}\right )^{2} + \sqrt{\pi }{\left (\cosh \left (a\right ) \cosh \left (\frac{a x^{2} + b}{x^{2}}\right ) + \cosh \left (\frac{a x^{2} + b}{x^{2}}\right ) \sinh \left (a\right ) +{\left (\cosh \left (a\right ) + \sinh \left (a\right )\right )} \sinh \left (\frac{a x^{2} + b}{x^{2}}\right )\right )} \sqrt{-b} \operatorname{erf}\left (\frac{\sqrt{-b}}{x}\right ) - \sqrt{\pi }{\left (\cosh \left (a\right ) \cosh \left (\frac{a x^{2} + b}{x^{2}}\right ) - \cosh \left (\frac{a x^{2} + b}{x^{2}}\right ) \sinh \left (a\right ) +{\left (\cosh \left (a\right ) - \sinh \left (a\right )\right )} \sinh \left (\frac{a x^{2} + b}{x^{2}}\right )\right )} \sqrt{b} \operatorname{erf}\left (\frac{\sqrt{b}}{x}\right ) + 2 \, x \cosh \left (\frac{a x^{2} + b}{x^{2}}\right ) \sinh \left (\frac{a x^{2} + b}{x^{2}}\right ) + x \sinh \left (\frac{a x^{2} + b}{x^{2}}\right )^{2} - x}{2 \,{\left (\cosh \left (\frac{a x^{2} + b}{x^{2}}\right ) + \sinh \left (\frac{a x^{2} + b}{x^{2}}\right )\right )}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F] time = 0., size = 0, normalized size = 0. \begin{align*} \int \sinh{\left (a + \frac{b}{x^{2}} \right )}\, dx \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [F] time = 0., size = 0, normalized size = 0. \begin{align*} \int \sinh \left (a + \frac{b}{x^{2}}\right )\,{d x} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]